package dbc;

/**
* PostCondition contract violation
*/
public class PostConditionException extends ContractException {

    public PostConditionException() {
        super();
    }

    public PostConditionException(String msg) {
        super(msg);
    }
}
